Sökresultat för: M. Ben-Ari
Principles of Concurrent and Distributed Programming (Häftad)
avM. Ben-Ari
ISBN: 9780321312839 - UTGIVEN: 200511Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Software today is inherently concurrent or distributed -- from event-based GUI designs to operating and real-time systems to Internet ap[...]
Mathematical Logic for Computer Science (Häftad)
avM. Ben-Ari
ISBN: 9781852333195 - UTGIVEN: 200104This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In orde[...]
